An Exercise in Material Implication

Three-Dimensional Stateful Material Implication Logic

Monolithic three-dimensional integration of memory and logic circuits could dramatically improve performance and energy efficiency of computing systems. Some conventional and emerging memories are suitable for vertical integration, including highly scalable metaloxide resistive switching devices (“memristors”), yet integration of logic circuits proves to be much more challenging. Here we demons...

Sugar-based molecular computing by material implication.

A method to integrate an (in principle) unlimited number of molecular logic gates to construct complex circuits is presented. Logic circuits, such as half- or full-adders, can be reinterpreted by using the functional completeness of the implication function (IMP) and the trivial FALSE operation. The molecular gate IMP is represented by a fluorescent boronic acid sugar probe. An external wiring ...

An implication in orthologic

We involve a certain propositional logic based on an ortholattice. We characterize the implication reduct of such a logic and show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence kernels of these algebras are described.

Optimized stateful material implication logic for three- dimensional data manipulation

Mechanical material characterization of an embedded Carbon nanotube in polymer matrix by employing an equivalent fiber

Effective elastic properties for carbon nanotube reinforced composites are obtained through a variety of micromechanics techniques. An embedded carbon nanotube  in  a  polymer  matrix  and  its surrounding  interphase  is  replaced with an equivalent fiber for  predicting  the  mechanical  properties of  the  carbon  nanotube/polymer composite. The effects of an interphase layer between the nan...